例文
- もっと例文: 1 2 3 4 5 6
- Further improvements can be obtained by the technique of constraint propagation.
- Constraint propagation techniques are methods used to modify a constraint satisfaction problem.
- However, constraint propagation can be used to prove satisfiability in some cases.
- Specialized constraint propagation rules for these constraints exist.
- Constraint propagation enforcing strong directional path consistency is similar, but also enforces arc consistency.